gtk3-demo: Use better text margins
authorMatthias Clasen <mclasen@redhat.com>
Wed, 12 Nov 2014 21:05:49 +0000 (16:05 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 12 Nov 2014 21:05:49 +0000 (16:05 -0500)
commitd50dd1d33c1b2ee8c68b8fbd82d0043886972a47
treed8a576d4a66779bd261c94325c5589588c4d4329
parentbac7408be4f5479c3e6d67cc1d7b75f8a9a12328
gtk3-demo: Use better text margins

We really want margins around the scrollable content, not around
the viewport. Make it so by using textview-specific properties.
This is unfortunately a little complicated for top/bottom.
demos/gtk-demo/main.c
demos/gtk-demo/main.ui